Optimal. Leaf size=519 \[ \frac {1}{5 \left (c d^2-a e^2\right ) (d+e x)^{7/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {13 c d}{40 \left (c d^2-a e^2\right )^2 (d+e x)^{5/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {143 c^2 d^2}{240 \left (c d^2-a e^2\right )^3 (d+e x)^{3/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {429 c^3 d^3}{320 \left (c d^2-a e^2\right )^4 \sqrt {d+e x} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}-\frac {1001 c^4 d^4 \sqrt {d+e x}}{320 \left (c d^2-a e^2\right )^5 \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}-\frac {1001 c^4 d^4 e}{128 \left (c d^2-a e^2\right )^6 \sqrt {d+e x} \sqrt {a d e+\left (c d^2+a e^2\right ) x+c d e x^2}}+\frac {3003 c^5 d^5 e \sqrt {d+e x}}{128 \left (c d^2-a e^2\right )^7 \sqrt {a d e+\left (c d^2+a e^2\right ) x+c d e x^2}}+\frac {3003 c^5 d^5 e^{3/2} \tan ^{-1}\left (\frac {\sqrt {e} \sqrt {a d e+\left (c d^2+a e^2\right ) x+c d e x^2}}{\sqrt {c d^2-a e^2} \sqrt {d+e x}}\right )}{128 \left (c d^2-a e^2\right )^{15/2}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.40, antiderivative size = 519, normalized size of antiderivative = 1.00, number of steps
used = 9, number of rules used = 4, integrand size = 39, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.103, Rules used = {686, 680, 674,
211} \begin {gather*} \frac {3003 c^5 d^5 e^{3/2} \text {ArcTan}\left (\frac {\sqrt {e} \sqrt {x \left (a e^2+c d^2\right )+a d e+c d e x^2}}{\sqrt {d+e x} \sqrt {c d^2-a e^2}}\right )}{128 \left (c d^2-a e^2\right )^{15/2}}+\frac {3003 c^5 d^5 e \sqrt {d+e x}}{128 \left (c d^2-a e^2\right )^7 \sqrt {x \left (a e^2+c d^2\right )+a d e+c d e x^2}}-\frac {1001 c^4 d^4 e}{128 \sqrt {d+e x} \left (c d^2-a e^2\right )^6 \sqrt {x \left (a e^2+c d^2\right )+a d e+c d e x^2}}-\frac {1001 c^4 d^4 \sqrt {d+e x}}{320 \left (c d^2-a e^2\right )^5 \left (x \left (a e^2+c d^2\right )+a d e+c d e x^2\right )^{3/2}}+\frac {429 c^3 d^3}{320 \sqrt {d+e x} \left (c d^2-a e^2\right )^4 \left (x \left (a e^2+c d^2\right )+a d e+c d e x^2\right )^{3/2}}+\frac {143 c^2 d^2}{240 (d+e x)^{3/2} \left (c d^2-a e^2\right )^3 \left (x \left (a e^2+c d^2\right )+a d e+c d e x^2\right )^{3/2}}+\frac {13 c d}{40 (d+e x)^{5/2} \left (c d^2-a e^2\right )^2 \left (x \left (a e^2+c d^2\right )+a d e+c d e x^2\right )^{3/2}}+\frac {1}{5 (d+e x)^{7/2} \left (c d^2-a e^2\right ) \left (x \left (a e^2+c d^2\right )+a d e+c d e x^2\right )^{3/2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 211
Rule 674
Rule 680
Rule 686
Rubi steps
\begin {align*} \int \frac {1}{(d+e x)^{7/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{5/2}} \, dx &=\frac {1}{5 \left (c d^2-a e^2\right ) (d+e x)^{7/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {(13 c d) \int \frac {1}{(d+e x)^{5/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{5/2}} \, dx}{10 \left (c d^2-a e^2\right )}\\ &=\frac {1}{5 \left (c d^2-a e^2\right ) (d+e x)^{7/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {13 c d}{40 \left (c d^2-a e^2\right )^2 (d+e x)^{5/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {\left (143 c^2 d^2\right ) \int \frac {1}{(d+e x)^{3/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{5/2}} \, dx}{80 \left (c d^2-a e^2\right )^2}\\ &=\frac {1}{5 \left (c d^2-a e^2\right ) (d+e x)^{7/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {13 c d}{40 \left (c d^2-a e^2\right )^2 (d+e x)^{5/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {143 c^2 d^2}{240 \left (c d^2-a e^2\right )^3 (d+e x)^{3/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {\left (429 c^3 d^3\right ) \int \frac {1}{\sqrt {d+e x} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{5/2}} \, dx}{160 \left (c d^2-a e^2\right )^3}\\ &=\frac {1}{5 \left (c d^2-a e^2\right ) (d+e x)^{7/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {13 c d}{40 \left (c d^2-a e^2\right )^2 (d+e x)^{5/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {143 c^2 d^2}{240 \left (c d^2-a e^2\right )^3 (d+e x)^{3/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {429 c^3 d^3}{320 \left (c d^2-a e^2\right )^4 \sqrt {d+e x} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {\left (3003 c^4 d^4\right ) \int \frac {\sqrt {d+e x}}{\left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{5/2}} \, dx}{640 \left (c d^2-a e^2\right )^4}\\ &=\frac {1}{5 \left (c d^2-a e^2\right ) (d+e x)^{7/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {13 c d}{40 \left (c d^2-a e^2\right )^2 (d+e x)^{5/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {143 c^2 d^2}{240 \left (c d^2-a e^2\right )^3 (d+e x)^{3/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {429 c^3 d^3}{320 \left (c d^2-a e^2\right )^4 \sqrt {d+e x} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}-\frac {1001 c^4 d^4 \sqrt {d+e x}}{320 \left (c d^2-a e^2\right )^5 \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}-\frac {\left (1001 c^4 d^4 e\right ) \int \frac {1}{\sqrt {d+e x} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}} \, dx}{128 \left (c d^2-a e^2\right )^5}\\ &=\frac {1}{5 \left (c d^2-a e^2\right ) (d+e x)^{7/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {13 c d}{40 \left (c d^2-a e^2\right )^2 (d+e x)^{5/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {143 c^2 d^2}{240 \left (c d^2-a e^2\right )^3 (d+e x)^{3/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {429 c^3 d^3}{320 \left (c d^2-a e^2\right )^4 \sqrt {d+e x} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}-\frac {1001 c^4 d^4 \sqrt {d+e x}}{320 \left (c d^2-a e^2\right )^5 \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}-\frac {1001 c^4 d^4 e}{128 \left (c d^2-a e^2\right )^6 \sqrt {d+e x} \sqrt {a d e+\left (c d^2+a e^2\right ) x+c d e x^2}}-\frac {\left (3003 c^5 d^5 e\right ) \int \frac {\sqrt {d+e x}}{\left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}} \, dx}{256 \left (c d^2-a e^2\right )^6}\\ &=\frac {1}{5 \left (c d^2-a e^2\right ) (d+e x)^{7/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {13 c d}{40 \left (c d^2-a e^2\right )^2 (d+e x)^{5/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {143 c^2 d^2}{240 \left (c d^2-a e^2\right )^3 (d+e x)^{3/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {429 c^3 d^3}{320 \left (c d^2-a e^2\right )^4 \sqrt {d+e x} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}-\frac {1001 c^4 d^4 \sqrt {d+e x}}{320 \left (c d^2-a e^2\right )^5 \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}-\frac {1001 c^4 d^4 e}{128 \left (c d^2-a e^2\right )^6 \sqrt {d+e x} \sqrt {a d e+\left (c d^2+a e^2\right ) x+c d e x^2}}+\frac {3003 c^5 d^5 e \sqrt {d+e x}}{128 \left (c d^2-a e^2\right )^7 \sqrt {a d e+\left (c d^2+a e^2\right ) x+c d e x^2}}+\frac {\left (3003 c^5 d^5 e^2\right ) \int \frac {1}{\sqrt {d+e x} \sqrt {a d e+\left (c d^2+a e^2\right ) x+c d e x^2}} \, dx}{256 \left (c d^2-a e^2\right )^7}\\ &=\frac {1}{5 \left (c d^2-a e^2\right ) (d+e x)^{7/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {13 c d}{40 \left (c d^2-a e^2\right )^2 (d+e x)^{5/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {143 c^2 d^2}{240 \left (c d^2-a e^2\right )^3 (d+e x)^{3/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {429 c^3 d^3}{320 \left (c d^2-a e^2\right )^4 \sqrt {d+e x} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}-\frac {1001 c^4 d^4 \sqrt {d+e x}}{320 \left (c d^2-a e^2\right )^5 \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}-\frac {1001 c^4 d^4 e}{128 \left (c d^2-a e^2\right )^6 \sqrt {d+e x} \sqrt {a d e+\left (c d^2+a e^2\right ) x+c d e x^2}}+\frac {3003 c^5 d^5 e \sqrt {d+e x}}{128 \left (c d^2-a e^2\right )^7 \sqrt {a d e+\left (c d^2+a e^2\right ) x+c d e x^2}}+\frac {\left (3003 c^5 d^5 e^3\right ) \text {Subst}\left (\int \frac {1}{2 c d^2 e-e \left (c d^2+a e^2\right )+e^2 x^2} \, dx,x,\frac {\sqrt {a d e+\left (c d^2+a e^2\right ) x+c d e x^2}}{\sqrt {d+e x}}\right )}{128 \left (c d^2-a e^2\right )^7}\\ &=\frac {1}{5 \left (c d^2-a e^2\right ) (d+e x)^{7/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {13 c d}{40 \left (c d^2-a e^2\right )^2 (d+e x)^{5/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {143 c^2 d^2}{240 \left (c d^2-a e^2\right )^3 (d+e x)^{3/2} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}+\frac {429 c^3 d^3}{320 \left (c d^2-a e^2\right )^4 \sqrt {d+e x} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}-\frac {1001 c^4 d^4 \sqrt {d+e x}}{320 \left (c d^2-a e^2\right )^5 \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}-\frac {1001 c^4 d^4 e}{128 \left (c d^2-a e^2\right )^6 \sqrt {d+e x} \sqrt {a d e+\left (c d^2+a e^2\right ) x+c d e x^2}}+\frac {3003 c^5 d^5 e \sqrt {d+e x}}{128 \left (c d^2-a e^2\right )^7 \sqrt {a d e+\left (c d^2+a e^2\right ) x+c d e x^2}}+\frac {3003 c^5 d^5 e^{3/2} \tan ^{-1}\left (\frac {\sqrt {e} \sqrt {a d e+\left (c d^2+a e^2\right ) x+c d e x^2}}{\sqrt {c d^2-a e^2} \sqrt {d+e x}}\right )}{128 \left (c d^2-a e^2\right )^{15/2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 2.23, size = 437, normalized size = 0.84 \begin {gather*} \frac {c^5 d^5 (d+e x)^{5/2} \left (\frac {(a e+c d x) \left (384 a^6 e^{12}-48 a^5 c d e^{10} (61 d+13 e x)+8 a^4 c^2 d^2 e^8 \left (1253 d^2+676 d e x+143 e^2 x^2\right )-2 a^3 c^3 d^3 e^6 \left (10535 d^3+11557 d^2 e x+6149 d e^2 x^2+1287 e^3 x^3\right )+3 a^2 c^4 d^4 e^4 \left (11865 d^4+26390 d^3 e x+28028 d^2 e^2 x^2+14586 d e^3 x^3+3003 e^4 x^4\right )+2 a c^5 d^5 e^2 \left (12160 d^5+96395 d^4 e x+232375 d^3 e^2 x^2+260403 d^2 e^3 x^3+141141 d e^4 x^4+30030 e^5 x^5\right )+c^6 d^6 \left (-1280 d^6+16640 d^5 e x+137995 d^4 e^2 x^2+338910 d^3 e^3 x^3+384384 d^2 e^4 x^4+210210 d e^5 x^5+45045 e^6 x^6\right )\right )}{c^5 d^5 \left (c d^2-a e^2\right )^7 (d+e x)^5}+\frac {45045 e^{3/2} (a e+c d x)^{5/2} \tan ^{-1}\left (\frac {\sqrt {e} \sqrt {a e+c d x}}{\sqrt {c d^2-a e^2}}\right )}{\left (c d^2-a e^2\right )^{15/2}}\right )}{1920 ((a e+c d x) (d+e x))^{5/2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(1542\) vs.
\(2(463)=926\).
time = 0.75, size = 1543, normalized size = 2.97
method | result | size |
default | \(\text {Expression too large to display}\) | \(1543\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 1911 vs.
\(2 (470) = 940\).
time = 6.36, size = 3860, normalized size = 7.44 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: SystemError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 1009 vs.
\(2 (470) = 940\).
time = 1.95, size = 1009, normalized size = 1.94 \begin {gather*} \frac {1}{1920} \, {\left (\frac {45045 \, c^{5} d^{5} \arctan \left (\frac {\sqrt {{\left (x e + d\right )} c d e - c d^{2} e + a e^{3}}}{\sqrt {c d^{2} e - a e^{3}}}\right ) e}{{\left (c^{7} d^{14} - 7 \, a c^{6} d^{12} e^{2} + 21 \, a^{2} c^{5} d^{10} e^{4} - 35 \, a^{3} c^{4} d^{8} e^{6} + 35 \, a^{4} c^{3} d^{6} e^{8} - 21 \, a^{5} c^{2} d^{4} e^{10} + 7 \, a^{6} c d^{2} e^{12} - a^{7} e^{14}\right )} \sqrt {c d^{2} e - a e^{3}}} - \frac {1280 \, {\left (c^{6} d^{7} e^{2} - a c^{5} d^{5} e^{4} - 18 \, {\left ({\left (x e + d\right )} c d e - c d^{2} e + a e^{3}\right )} c^{5} d^{5} e\right )}}{{\left (c^{7} d^{14} - 7 \, a c^{6} d^{12} e^{2} + 21 \, a^{2} c^{5} d^{10} e^{4} - 35 \, a^{3} c^{4} d^{8} e^{6} + 35 \, a^{4} c^{3} d^{6} e^{8} - 21 \, a^{5} c^{2} d^{4} e^{10} + 7 \, a^{6} c d^{2} e^{12} - a^{7} e^{14}\right )} {\left ({\left (x e + d\right )} c d e - c d^{2} e + a e^{3}\right )}^{\frac {3}{2}}} + \frac {{\left (35595 \, \sqrt {{\left (x e + d\right )} c d e - c d^{2} e + a e^{3}} c^{9} d^{13} e^{5} - 142380 \, \sqrt {{\left (x e + d\right )} c d e - c d^{2} e + a e^{3}} a c^{8} d^{11} e^{7} + 121310 \, {\left ({\left (x e + d\right )} c d e - c d^{2} e + a e^{3}\right )}^{\frac {3}{2}} c^{8} d^{11} e^{4} + 213570 \, \sqrt {{\left (x e + d\right )} c d e - c d^{2} e + a e^{3}} a^{2} c^{7} d^{9} e^{9} - 363930 \, {\left ({\left (x e + d\right )} c d e - c d^{2} e + a e^{3}\right )}^{\frac {3}{2}} a c^{7} d^{9} e^{6} + 160384 \, {\left ({\left (x e + d\right )} c d e - c d^{2} e + a e^{3}\right )}^{\frac {5}{2}} c^{7} d^{9} e^{3} - 142380 \, \sqrt {{\left (x e + d\right )} c d e - c d^{2} e + a e^{3}} a^{3} c^{6} d^{7} e^{11} + 363930 \, {\left ({\left (x e + d\right )} c d e - c d^{2} e + a e^{3}\right )}^{\frac {3}{2}} a^{2} c^{6} d^{7} e^{8} - 320768 \, {\left ({\left (x e + d\right )} c d e - c d^{2} e + a e^{3}\right )}^{\frac {5}{2}} a c^{6} d^{7} e^{5} + 96290 \, {\left ({\left (x e + d\right )} c d e - c d^{2} e + a e^{3}\right )}^{\frac {7}{2}} c^{6} d^{7} e^{2} + 35595 \, \sqrt {{\left (x e + d\right )} c d e - c d^{2} e + a e^{3}} a^{4} c^{5} d^{5} e^{13} - 121310 \, {\left ({\left (x e + d\right )} c d e - c d^{2} e + a e^{3}\right )}^{\frac {3}{2}} a^{3} c^{5} d^{5} e^{10} + 160384 \, {\left ({\left (x e + d\right )} c d e - c d^{2} e + a e^{3}\right )}^{\frac {5}{2}} a^{2} c^{5} d^{5} e^{7} - 96290 \, {\left ({\left (x e + d\right )} c d e - c d^{2} e + a e^{3}\right )}^{\frac {7}{2}} a c^{5} d^{5} e^{4} + 22005 \, {\left ({\left (x e + d\right )} c d e - c d^{2} e + a e^{3}\right )}^{\frac {9}{2}} c^{5} d^{5} e\right )} e^{\left (-5\right )}}{{\left (c^{7} d^{14} - 7 \, a c^{6} d^{12} e^{2} + 21 \, a^{2} c^{5} d^{10} e^{4} - 35 \, a^{3} c^{4} d^{8} e^{6} + 35 \, a^{4} c^{3} d^{6} e^{8} - 21 \, a^{5} c^{2} d^{4} e^{10} + 7 \, a^{6} c d^{2} e^{12} - a^{7} e^{14}\right )} {\left (x e + d\right )}^{5} c^{5} d^{5}}\right )} e \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {1}{{\left (d+e\,x\right )}^{7/2}\,{\left (c\,d\,e\,x^2+\left (c\,d^2+a\,e^2\right )\,x+a\,d\,e\right )}^{5/2}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________